People spontaneously discover new representations during problem solving. Discovery of a mathematical representation is of special interest, because it shows that the underlying structure of the problem has been extracted. In the current study, participants solved gear‐system problems as part of a game. Although none of the participants initially used a mathematical representation, many discovered a parity‐based, mathematical strategy during problem solving. Two accounts of the spontaneous discovery of mathematical strategies were tested. According to the automatic schema abstraction hypothesis, experience (...) with multiple, unique problem exemplars facilitates extraction of the parity relation. According to the comparison‐based abstraction hypothesis, explicitly comparing gear pathways that have different number, but the same parity, should result in extraction of parity. An event history analysis showed that accumulation of experiences with different‐number, same‐parity comparisons predicted discovery of parity; accumulation of unique exemplars did not. Results suggest that comparison‐based abstraction processes can lead to the discovery of a mathematical relation. (shrink)

This paper describes a model of how musicians make decisions about performing notated music. The model builds on psychological theories of decision-making and was developed from empirical studies of Western art music performance that aimed to identify intuitive and deliberate processes of decision-making, a distinction consistent with dual-process theories of cognition. The model proposes that the proportion of intuitive (Type 1) and deliberate (Type 2) decision-making processes changes with increasing expertise and conceptualizes this change as movement along a continually narrowing (...) upward spiral where the primary axis signifies principal decision-making type and the vertical axis marks level of expertise. The model is intended to have implications for the development of expertise as described in two main phases. The first is movement from a primarily intuitive approach in the early stages of learning toward greater deliberation as analytical techniques are applied during practice. The second phase occurs as deliberate decisions gradually become automatic (procedural), increasing the role of intuitive processes. As a performer examines more issues or reconsiders decisions, the spiral motion toward the deliberate side and back to the intuitive is repeated indefinitely. With increasing expertise, the spiral tightens to signify greater control over decision type selection. The model draws on existing theories, particularly Evans’ (2011) Intervention Model of dual-process theories, Cognitive Continuum Theory Hammond et al. (1987), Hammond (2007), Baylor’s (2001) U-shaped model for the development of intuition by level of expertise. By theorizing how musical decision-making operates over time and with increasing expertise, this model could be used as a framework for future research in music performance studies and performance science more generally. (shrink)

Bietti, Tilston and Bangerter take an evolutionary approach towards memory transmission and storytelling, arguing that storytelling plays a central role in the creation and transmission of cultural information. They suggest that storytelling is a vehicle to transmit survival‐related information that helps to avoid the costs involved in the first‐hand acquisition of that information and contributes to the maintenance of social bonds and group‐level cooperation. Furthermore, Bietti et al. argue that, going beyond storytelling’s individualist role of manipulating the audience to enhance (...) fitness of the narrator, that these adaptive functions of storytelling may well be assigned to other forms of language use besides narration (e.g., instructional discourse and argumentation). Based on this evidence, Bietti and colleagues claim that the specific adaptive function of storytelling lies in making sense of non‐routine, uncertain, or novel situations, thereby enabling collective sensemaking. (shrink)

Purpose. To examine the existential anthropology of G. Marcel and E. Minkowski, in order to demonstrate the necessity of distinguishing the universal-spiritual, as human in human being, apart from the individual-existential in him, and to reveal the hierarchical correlation of biosocial, existential and spiritual spheres in personality. Theoretical basis. Within existential philosophy the author differentiates two separate traditions and proceeds from the insufficiency of the distinction of existential sphere, proposed by phenomenological tradition, showing the necessity of its correlation with the (...) spiritual sphere as a sphere of humanity, proposed by non-phenomenological tradition of G. Marcel and E. Minkowski. Originality. The author presents the anthropological conception of G. Marcel and E. Minkowski, in which human personality is understood as unity of individual-existential and universal-spiritual, which requires a special trans-empirical field of culture, which contains senses, images and symbols of humanity. Also, the author presents the recent developments of existential thinkers in distinguishing existential and spiritual dimensions, both not reducible to the physical and social dimensions. Conclusions. In both existential traditions, the specifically human was founded as a trans-biological and trans-social phenomenon, which appears as indefinable and non-predetermined. But in first tradition, humanity is understood as an existence, as a unique individuality, "project", variant of humanity, equivalent to other variants, and universal is understood as a community of human condition in the world. While in the second tradition, the universal is understood as spiritual. Thus, horizontal level of our private existence, as the process of movement from birth to death, is supplemented by vertical of human, universal ideals and images. Humanity appears as a task, on the way to which human being transcends beyond the limits of his individual "self" to the "super-individual", through inclusion into spiritual community, into universal culture. (shrink)

This introduction to the basic ideas of structural proof theory contains a thorough discussion and comparison of various types of formalization of first-order logic. Examples are given of several areas of application, namely: the metamathematics of pure first-order logic (intuitionistic as well as classical); the theory of logic programming; category theory; modal logic; linear logic; first-order arithmetic and second-order logic. In each case the aim is to illustrate the methods in relatively simple situations and then apply them elsewhere in much (...) more complex settings. There are numerous exercises throughout the text. In general, the only prerequisite is a standard course in first-order logic, making the book ideal for graduate students and beginning researchers in mathematical logic, theoretical computer science and artificial intelligence. For the new edition, many sections have been rewritten to improve clarity, new sections have been added on cut elimination, and solutions to selected exercises have been included. (shrink)

Provability, Computability and Reflection.

I would like to begin with the role of philosophy in solving ecological problems, emphasizing two aspects of its role: the struggle against hostile ideology and the organizing and guiding of activity in the sphere of the development of science and the shaping of its problems. This role of Marxist-Leninist philosophy clearly appears in the complex interdisciplinary problem of the interaction between nature and society.

Venturing beyond the framework of an existing culture becomes philosophizing when society begins to sense an acute need for a critique of its historical experience and a change in its cultural underpinnings, which are necessary for attaining a qualitatively new level of interpretaion and understanding. Philosophizing appears as a specialized form of life activity in the sphere of the universal, as an ongoing search for new ways and new foundations for developing the diversity of cultural processes lying at the basis (...) of the reproduction of society, culture, and relations. (shrink)

In recent discussions of moral responsibility, two claims have generated considerable attention: 1) a complete account of responsibility cannot ignore the agent’s personal history prior to the time of action; and 2) an agent’s responsibility is not determined solely by whether certain objective facts about the agent obtain (e.g., whether he/she was free of physical coercion) but also by whether, subjectively, the agent views him/herself in a particular way. John Martin Fischer and Mark Ravizza defend these claims and combine them (...) in a novel manner. They argue that responsibility for an action requires that the agent—at some prior time—have taken responsibility for the kind of mechanism, or process, which produced the action (e.g., practical reason). The notion of taking responsibility is then understood subjectively, requiring that the agent believe it appropriate for others to hold him/her responsible for actions produced by that kind of mechanism. I explore how best to understand the role(s) played by the notion of taking responsibility in Fischer and Ravizza’s account and then argue that being responsible for an action does not require that one have taken responsibility in the subjective sense. That is, being responsible is not a matter of believing oneself to be so. This Article does not have an abstract. (shrink)